2

The double negation of the intermediate value theorem

Year:
2010
Language:
english
File:
PDF, 525 KB
english, 2010
7

A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS

Year:
2012
Language:
english
File:
PDF, 76 KB
english, 2012
14

Decidability and Specker sequences in intuitionistic mathematics

Year:
2009
Language:
english
File:
PDF, 123 KB
english, 2009
20

On the constructive notion of closure maps

Year:
2012
Language:
english
File:
PDF, 154 KB
english, 2012